Связанные понятия
Схе́ма — математическая абстракция, позволяющая связать алгебраическую геометрию, коммутативную алгебру и дифференциальную геометрию и переносить идеи из одной области в другую. В первую очередь понятие схемы позволяет перенести геометрическую интуицию и геометрические конструкции, такие как тензорные поля, расслоения и дифференциалы, в теорию колец. Исторически теория схем возникла с целью обобщения и упрощения классической алгебраической геометрии итальянской школы XIX века, занимавшейся исследованием...
Квадратичная форма — функция на векторном пространстве, задаваемая однородным многочленом второй степени от координат вектора.
По́ле в общей алгебре — множество, для элементов которого определены операции сложения, взятия противоположного значения, умножения и деления (кроме деления на нуль), причём свойства этих операций близки к свойствам обычных числовых операций. Простейшим полем является поле рациональных чисел (дробей). Хотя названия операций поля взяты из арифметики, следует иметь в виду, что элементы поля не обязательно являются числами, и определения операций могут быть далеки от арифметических.
Компа́ктное простра́нство — определённый тип топологических пространств, обобщающий свойства ограниченности и замкнутости в евклидовых пространствах на произвольные топологические пространства.
Абелево многообразие — это проективное алгебраическое многообразие, являющееся алгебраической группой (это значит, что закон композиции задаётся регулярной функцией).
Пучок — структура, используемая для установления отношений между локальными и глобальными данными.
А́лгебра Ли — объект общей алгебры. Естественно появляется при изучении инфинитезимальных свойств групп Ли.
Коммутативное кольцо — кольцо, в котором операция умножения коммутативна (обычно также подразумевается её ассоциативность и существование единицы). Изучением свойств коммутативных колец занимается коммутативная алгебра.
Гладкая функция , или непрерывно дифференцируемая функция, — функция, имеющая непрерывную производную на всём множестве определения. Очень часто под гладкими функциями подразумевают функции, имеющие непрерывные производные всех порядков.
Гру́ппа в математике — множество, на котором определена ассоциативная бинарная операция, причём для этой операции имеется нейтральный элемент (аналог единицы для умножения), и каждый элемент множества имеет обратный. Ветвь общей алгебры, занимающаяся группами, называется теорией групп.
Кольцо многочленов — кольцо, образованное многочленами от одной или нескольких переменных с коэффициентами из другого кольца. Изучение свойств колец многочленов оказало большое влияние на многие области современной математики; можно привести примеры теоремы Гильберта о базисе, конструкции поля разложения и изучения свойств линейных операторов.
Представле́ние гру́ппы (точнее, линейное представление группы) — гомоморфизм заданной группы в группу невырожденных линейных преобразований векторного пространства.
Непреры́вное отображе́ние (непрерывная функция) — отображение из одного пространства в другое, при котором близкие точки области определения переходят в близкие точки области значений.
Ве́кторное (или лине́йное) простра́нство — математическая структура, которая представляет собой набор элементов, называемых векторами, для которых определены операции сложения друг с другом и умножения на число — скаляр. Эти операции подчинены восьми аксиомам. Скаляры могут быть элементами вещественного, комплексного или любого другого поля чисел. Частным случаем подобного пространства является обычное трехмерное евклидово пространство, векторы которого используются, к примеру, для представления...
Аффи́нное простра́нство — математический объект (пространство), обобщающий некоторые свойства евклидовой геометрии. В отличие от векторного пространства, аффинное пространство оперирует с объектами не одного, а двух типов: «векторами» и «точками».
Алгебра над полем — это векторное пространство, снабженное билинейным произведением. Это значит, что алгебра над полем является одновременно векторным пространством и кольцом, причём эти структуры согласованы. Обобщением этого понятия является алгебра над кольцом, которая, вообще говоря, является не векторным пространством, а модулем над некоторым кольцом.
Алгебраическая группа — это группа, являющаяся одновременно алгебраическим многообразием, причём групповая операция и операция взятия обратного элемента являются регулярными отображениями многообразий.
Алгебраическая поверхность — это алгебраическое многообразие размерности два. В случае геометрии над полем комплексных чисел алгебраическая поверхность имеет комплексную размерность два (как комплексное многообразие, если оно неособо), а потому имеет размерность четыре как гладкое многообразие.
Локальные кольца — кольца, которые относительно просты и позволяют описывать «локальное поведение» функций на алгебраическом многообразии или обычном многообразии. Раздел коммутативной алгебры, изучающий локальные кольца и модули над ними, называется локальной алгеброй.
Подробнее: Локальное кольцо
Гру́ппа Галуа ́ — группа, ассоциированная с расширением поля. Играет важную роль при исследовании расширений полей, в частности, в теории Галуа. Это понятие (в контексте группы перестановок корней многочлена) ввёл в математику Эварист Галуа в 1832 году.
Связное пространство — непустое топологическое пространство, которое невозможно разбить на два непустых непересекающихся открытых подмножества.
Топологи́ческая гру́ппа (непрерывная группа) — это группа, которая одновременно является топологическим пространством, причём умножение элементов группы G × G → G и операция взятия обратного элемента G...
Алгебра над кольцом — алгебраическая система, которая является одновременно модулем над этим кольцом и кольцом сама по себе, причём эти две структуры взаимосвязаны. Понятие алгебры над кольцом является обобщением понятия алгебры над полем, аналогично тому как понятие модуля обобщает понятие векторного пространства.
Проекти́вный мо́дуль — одно из основных понятий гомологической алгебры. С точки зрения теории категорий, проективные модули являются частным случаем проективных объектов.
Факторкольцо ́ — общеалгебраическая конструкция, позволяющая распространить на случай колец конструкцию факторгруппы. Любое кольцо является группой по сложению, поэтому можно рассмотреть её подгруппу и взять факторгруппу. Однако для того, чтобы на этой факторгруппе можно было корректно определить умножение, необходимо, чтобы исходная подгруппа была замкнута относительно умножения на произвольные элементы кольца, то есть являлась идеалом.
Ба́нахово пространство — нормированное векторное пространство, полное по метрике, порождённой нормой. Основной объект изучения функционального анализа.
Действие группы на некотором множестве объектов позволяет изучать симметрии этих объектов с помощью аппарата теории групп.
Гомологическая алгебра — ветвь алгебры, изучающая алгебраические объекты, заимствованные из алгебраической топологии. Первыми гомологические методы в алгебре применили в 40-х годах XX века Фаддеев, Дмитрий Константинович, С. Эйленберг и С. Маклейн при изучении расширений групп.
Расшире́ние Галуа ́ — алгебраическое расширение поля E/K, являющееся нормальным и сепарабельным. При этих условиях E будет иметь наибольшее количество автоморфизмов над K (если E конечно, то количество автоморфизмов также конечно и равно степени расширения ).
В алгебраической геометрии дивизоры являются обобщением подмногообразий некоторого алгебраического многообразия коразмерности 1. Существуют два различных таких обобщения — дивизоры Вейля и дивизоры Картье (названы в честь Андре Вейля и Пьера Картье), эти понятия эквивалентны в случае многообразий (или схем) без особенностей.
Подробнее: Дивизор (алгебраическая геометрия)
Симплектическое многообразие — это многообразие с заданной на нём симплектической формой, то есть замкнутой невырожденной дифференциальной 2-формой.
В общей алгебре, дедекиндово кольцо — это целостное кольцо, в котором каждый ненулевой собственный идеал раскладывается в произведение простых идеалов. Можно показать, что в этом случае разложение единственно с точностью до порядка сомножителей. Ниже приведено несколько других описаний дедекиндовых колец, которые можно принять за определение.
Гомеоморфи́зм (греч. ὅμοιος — похожий, μορφή — форма) — взаимно однозначное и взаимно непрерывное отображение топологических пространств. Иными словами, это биекция, связывающая топологические структуры двух пространств, поскольку, при непрерывности биекции, образы и прообразы открытых подмножеств являются открытыми множествами, определяющими топологии соответствующих пространств.
В математике, когерентные пучки — это класс пучков, тесно связанных с геометрическими свойствами пространства-носителя. В определении когерентного пучка используется пучок колец, который хранит эту геометрическую информацию.
Подробнее: Когерентный пучок
Метри́ческим простра́нством называется непустое множество, в котором между любой парой элементов, обладающих определенными свойствами, определено расстояние, называемое ме́трикой.
Подробнее: Метрическое пространство
Коне́чноме́рное простра́нство — это векторное пространство, в котором имеется конечный базис — порождающая (полная) линейно независимая система векторов. Другими словами, в таком пространстве существует конечная линейно независимая система векторов, линейной комбинацией которых можно представить любой вектор данного пространства.
Выпуклое множество в аффинном или векторном пространстве — множество, в котором все точки отрезка, образуемого любыми двумя точками данного множества, также принадлежат данному множеству.
Откры́тое мно́жество — это множество, каждый элемент которого входит в него вместе с некоторой окрестностью (в метрических пространствах и, в частности, на числовой прямой). Например, внутренность шара (без границы) является открытым множеством, а шар вместе с границей - не является открытым.
Касательное пространство Зарисского — конструкция в алгебраической геометрии, позволяющая построить касательное пространство в точке алгебраического многообразия. Эта конструкция использует не методы дифференциальной геометрии, а только методы общей, и, в более конкретных ситуациях, линейной алгебры.
Теория представлений — раздел математики, изучающий абстрактные алгебраические структуры с помощью представления их элементов в виде линейных преобразований векторных пространств. В сущности, представление делает абстрактные алгебраические объекты более конкретными, описывая их элементы матрицами, а операции сложения и умножения этих объектов — сложением и умножением матриц. Среди объектов, поддающихся такому описанию, находятся группы, ассоциативные алгебры и алгебры Ли. Наиболее известной (и, исторически...
Тополо́гия Зари́сского , или топология Зариского, — специальная топология, отражающая алгебраическую природу алгебраических многообразий. Названа в честь Оскара Зарисского и, начиная с 1950-х годов, занимает важное место в алгебраической геометрии.
В математике монодро́ми́ей называется явление, состоящее в преобразовании некоторого объекта при обнесении его вдоль нетривиального замкнутого пути.
Подробнее: Монодромия
Свобо́дный мо́дуль — модуль F над кольцом R (как правило, считаемым ассоциативным c единичным элементом), если он либо является нулевым, либо обладает базисом, то есть непустой системой S элементов e1,…ei…, которая является линейно независимой и порождает F. Само кольцо R, рассматриваемое как левый модуль над собой, очевидно обладает базисом, состоящим из одного единичного элемента кольца, а каждый модуль с конечным базисом из n элементов изоморфен прямой сумме Rn колец R, рассматриваемых как модули...
Инвариа́нт — это свойство некоторого класса (множества) математических объектов, остающееся неизменным при преобразованиях определённого типа.
Биекция — это отображение, которое является одновременно и сюръективным, и инъективным. При биективном отображении каждому элементу одного множества соответствует ровно один элемент другого множества, при этом определено обратное отображение, которое обладает тем же свойством. Поэтому биективное отображение называют ещё взаимно однозначным отображением (соответствием), одно-однозначным отображением.